char *prog_ver_string = "(unnumbered test version)";
char *prog_who_string = "compiled Sun Apr 1 20:01:44 EDT 2007 by abdulka on ugsparc135.eecg";
char *prog_suif_string = "(unknown version)";
